Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
181	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
182	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing
183	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
184	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
185	Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Logic Logic programming Automated theorem proving Prolog Substitution Interpreter Term Programming language Declarative programming
186	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
187	The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:43:25 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Structure
188	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
189	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
190	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract

UPDATE